Software Verification Games: Designing Xylem, The Code of Plants Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Dan Shapiro, John Murray, Kate Compton, Joseph Osborn, Orlando Salvatore, Zho

Source URL: fdg2014.org

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Source URL: ilyasergey.net

• Computing
• Software
• Concurrency control
• Separation logic
• Lock
• Concurrency
• Non-blocking algorithm
• Concurrent computing
• Parallel computing
• Linearizability
• Go

Symbolic Polytopes for Quantitative Interpolation and Verification Klaus v. Gleissenthall1 , Boris K¨opf2 , and Andrey Rybalchenko3 1 Technische Universit¨

Source URL: software.imdea.org

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

CodeVerify A New Level of Security & Robustness Verification Codenomicon is the industry leader in bringing strength in visibility to connected systems and devices through a next-generation suite of tools and services th

Source URL: www.codenomicon.com

• Software testing
• Codenomicon
• Verification and validation
• Validation
• Computer security
• Verification
• Robustness testing
• Vulnerability

Incompatibility of Elections with the Software Development Process Typical Software Processes Election Software Processes Continual Verification

Source URL: www.votersunite.org

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Call for Contributions Software Quality Journal Special Issue on: "Software Quality in Software-Intensive Systems" Guest Editors:

Source URL: paginas.fe.up.pt

• Software engineering
• Computing
• Software quality
• Quality
• Software testing
• Formal methods
• Pharmaceutical industry
• Validity
• Software verification and validation
• Verification and validation
• Software development
• Quality assurance

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Verification Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014

Source URL: movep14.irccyn.ec-nantes.fr